\documentclass[a4paper,12pt]{article}

% Packages
% ========
\usepackage[utf8]{inputenc}
\usepackage{makeidx}
\usepackage{amssymb}
\usepackage{verbatim} % for \begin{comment} ... \end{comment}
\usepackage{url}
\usepackage{subfig}
\usepackage[spanish]{babel}
\usepackage{epsfig}
\usepackage{graphicx}
\usepackage{color}

% Commands
% ======== 
\newcommand{\nc}{\newcommand}

%opening
\title{Constraint-Based Scheduling Framework}
\author{José Luzón Martín}

\begin{document}

\maketitle

\newpage

\tableofcontents

\newpage

% Abstract
% ========
%\begin{abstract}

%\end{abstract}

% Sections
% ========

\section{Programación con Restricciones}
\label{sec:CP}
\input{cp}

\section{Planificación basada en restricciones}
\label{sec:CBS}
\input{cbs}

\section{MiniZinc}
\label{sec:MZN}
\input{mzn}

\section{Prototipo}
\label{sec:PROT}
\input{prototype}

  \subsection{Estructura general}
  \label{subsec:OVERVIEW}
  \input{overview}
  
  \subsection{Modelo: XML}
  \label{subsec:XML}
  \input{xml}
  
  \subsection{Modelo: Estructura interna}
  \label{subsec:MODEL}
  \input{model}
  
  \subsection{Modelo: MiniZinc}
  \label{subsec:MODELMZN}
  \input{model_mzn}
  
  \subsection{Modelo: Datos MiniZinc}
  \label{subsec:MODELMZNDATA}
  \input{mzn_data}
  
  \subsection{Conexión con el resolutor}
  \label{subsec:SOLVE}
  \input{solve}
  
  \subsection{Ejemplo de ejecución}
  \label{subsec:EXAMPLE}
  \input{example}
  
  \subsection{Herramientas utilizadas}
  \label{subsec:TOOLS}
  \input{tools}
  
\section{Conclusiones}
\label{subsec:CONCLUSIONES}
\input{conclusiones}

\section{Trabajo Futuro}
\label{subsec:FUTURE}
\input{future}

\newpage

% Bibliography with BibTeX
% ========================
\bibliographystyle{ieeetr}
\bibliography{biblio}

\end{document}
